sets with two operations

具有二种运算的集合